gratin of broccoli with cheddar cheese